package SATSolver;

import java.util.ArrayList;

import Main.Clause;
import VariablePicker.VariablePicker;


public abstract class SATSolver {
	
	private VariablePicker picker;
	public SATSolver (VariablePicker picker ) {
		this.picker = picker;
	}
	public abstract ArrayList<Integer> solve( ArrayList<int[]> clauses );
	
	public int pickVariable(ArrayList<int[]> clauses) {
		return picker.pickVariable(clauses);
	}
}
